Message du Président
نویسندگان
چکیده
منابع مشابه
Ecole Normale Supérieure de Cachan 61 , avenue du Président Wilson 94235 Cachan Cedex France
Well-structured transition systems (WSTS's) are a general class of innnite state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with the transitions. In this article, we provide an extensive treatment of the WSTS idea and show several new results. Our improved deenitions allow many examples of classical systems to be seen ...
متن کاملPrésident Slim HAMMADI, Professeur, Ecole Centrale de Lille
Président Slim HAMMADI, Professeur, Ecole Centrale de Lille Rapporteur Alain QUILLIOT, Professeur, Université Blaise Pascal, Clermont-Ferrand, Rapporteur Aziz MOUKRIM, Professeur, Université de Technologie de Compiègne Membre Bernard DESCOTES-GENON, Professeur, Université Joseph Fourier, Grenoble Membre Abdelhakim ARTIBA, Professeur, Université de Valenciennes et du Hainaut -Cambrésis Directeur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal des traducteurs
سال: 1956
ISSN: 0316-3024,2562-2994
DOI: 10.7202/1057544ar